\requiere {d \in huespedes (h)}
\requiere {(\forall x \selec salidasDe(h,d))fechaCheckOut(x) < f}
\requiere {(\forall y \selec ingresosDe(h,d))f > fechaCheckIn(y)}

\modifica {h}

\asegura {nombre(h) == nombre(pre(h))}
\asegura {cadena(h) == cadena(pre(h))}
\asegura {mismos (huespedes(h), \comp {x}{x \selec huespedes(pre(h)), x \neq d))}}
\asegura {mismos (habitaciones(h), habitaciones(pre(h)))}
\asegura {mismos (ingresos(h), ingresos(pre(h)))}
\asegura {mismos (salidas(h), (d,f): salidas(pre(h)))}
\asegura {mismos (reservas(h), reservas(pre(h)))}
\asegura {mismos (tarifaHabitacionXDia(h), tarifaHabitacionXDia(pre(h)))}
\asegura {mismos (precioAccesorio(h), precioAccesorio(pre(h)))}
